منابع مشابه
Generator Sets for the Alternating Group
Although the alternating group is an index 2 subgroup of the symmetric group, there is no generating set that gives a Coxeter structure on it. Various generating sets were suggested and studied by Bourbaki, Mitsuhashi, Regev and Roichman, Vershik and Vserminov, and others. In a recent work of Brenti, Reiner and Roichman, it is explained that palindromes in Mitsuhashi’s generating set play a rol...
متن کاملGroup Synthesis for Alternating-Time Temporal Logic
We present an extension of Alternating-time Temporal Logic ATL, called ATLP (Parametric ATL), where parameters are allowed in place of concrete groups of agents. We devise a procedure to find all instantiations for the parameters in a given formula φ of ATLP so that φ is true in a given model. We propose a formalisation of the problem and symbolic algorithms for its solution. We discuss an expe...
متن کاملA Local Branching Approach for the Set Covering Problem
The set covering problem (SCP) is a well-known combinatorial optimization problem. This paper investigates development of a local branching approach for the SCP. This solution strategy is exact in nature, though it is designed to improve the heuristic behavior of the mixed integer programming solver. The algorithm parameters are tuned by design of experiments approach. The proposed method is te...
متن کاملAlternating group sparsity for image restoration
Recently, collaborative image filtering based on groupbased sparse representation has gained a popularity in image restoration. BM3D frame [1], one of the first example of such a representation, utilizes both local sparsity of small size image patches and group-sparsity of collections of selfsimilar image patches. As a sparsifying transforms in the spatial and similarity domains, fixed transfor...
متن کاملAlternating Group Iterative Method for Diffusion Equations
In this paper, a class of alternating group explicit iterative parallel method(AGI) is derived for solving diffusion equations based on a high order implicit scheme. Also the convergence analysis and the stability analysis are given. In order to verify the results, several numerical examples are presented in the end of the paper. Mathematics Subject Classification: 65M06, 74S20
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal für die reine und angewandte Mathematik (Crelles Journal)
سال: 2010
ISSN: 0075-4102,1435-5345
DOI: 10.1515/crelle.2010.033